Reactive answer set programming has paved the way for incorporating onlineinformation into operative solving processes. Although this technology wasoriginally devised for dealing with data streams in dynamic environments, likeassisted living and cognitive robotics, it can likewise be used to incorporatefacts, rules, or queries provided by a user. As a result, we present the designand implementation of a system for interactive query answering with reactiveanswer set programming. Our system quontroller is based on the reactive solveroclingo and implemented as a dedicated front-end. We describe its functionalityand implementation, and we illustrate its features by some selected use cases.
展开▼
